21. Logic minimization algorithms for VLSI synthesis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic design,، Integrated circuits-- Very large scale integration,، Integrated circuits-- Design and construction-- Data processing,، Algorithms
رده :
TK
7868
.
L6
.
L626
1984
22. Logic minimization algorithms for VLSI synthesis
پدیدآورنده : by Robert K. Brayton...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic design,Very large scale integration ، Integrated circuits,Design and construction - Data processing ، Integrated circuits,، Algorithms
رده :
TK
7868
.
L6
L626
1984
23. Logic minimization algorithms for vlsi synthesis
پدیدآورنده : By Robert K. Brayton ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic design,Integrated circuits- Very large scale integration,Integrated circuits- Design and construction- Data processing,Algorithms
رده :
TK
،
7868
،.
L6
,
E78
،
1984
24. Logic synthesis and verification algorithms
پدیدآورنده : Hachtel, Gary D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
رده :
TK
7874
.
75
.
H33
1996
25. Modern VLSI design : a system approach
پدیدآورنده : Wolf, Wayne Hendrix.
موضوع : ، Digital integrated circuits-- Design and construction-- Data processing,، Logic circuits-- Design and construction-- Data processing,، Computer-aided design
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
26. Modern VLSI design : a systems approach
پدیدآورنده : Wolf, Wayne Hendrix.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Digital integrated circuits - Design and construction - Data processing , Logic circuits - Design and construction - Data processing , Computer-aided design
رده :
TK
7874
.
65
.
W65
27. Modern VLSI design: a systems approach
پدیدآورنده : Wolf, Wayne Hendrix
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Digital integrated circuits- Design and construction- Data processing,، Logic circuits- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
W65
28. Principles of digital design
پدیدآورنده : daniel D. Gajski
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Integrated circuits - Design - Data processing,Logic design - Data processing
29. Principles of digital design
پدیدآورنده : Gajski, Daniel D.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
رده :
TK
7874
.
G34
30. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997
31. Representations of discrete functions
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
رده :
TK
7874
.
75
.
R47
1996